221. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
222. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
223. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
224. Automatic programming and numerical methods of analysis
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Data processing-- Addresses, essays, lectures
رده :
QA
76
.
6
.
A913
225. Automatic programming, numerical methods and functional analysis
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
96
226. Automatic programming, numerical methods and functional analysis
پدیدآورنده : edited by V. N. Faddeeva
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Automatic programming )Computer science(,Addresses, essays, lectures ، Numerical analysis,Addresses, essays, lectures ، Functional analysis
رده :
QA
1
.
P736
Vol
.
96
227. BONUS algorithm for large scale stochastic nonlinear programming problems /
پدیدآورنده : Urmila Diwekar, Amy David
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Stochastic programming.,Algorithms.,Mathematics.,Stochastic Processes.
رده :
T57
.
79
228. Basic programming
پدیدآورنده : KEMENY,JOHN G
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : BASIC )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DATA PROVESSING-MATHEMATICS
رده :
QA
76
.
5
.
K38
1971
229. Basic programming
پدیدآورنده : / John G. Kemeny, Thomas E. Kurtz
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Basic (Computer program language),Electronic data processing - Mathematics
رده :
001
.
6424
K31
1971
230. Basic programming
پدیدآورنده : Kemeny, John G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، BASIC )Computer program language(,، Mathematics -- Data processing
رده :
QA
76
.
5
.
K38
1971
231. Basic programming
پدیدآورنده : Kemeny, John G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، BASIC )Computer program language(,، Mathematics-- Data processing
رده :
QA
76
.
5
.
K38
1971
232. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
233. Bayesian Estimation and Tracking
پدیدآورنده : / Anton J. Haug
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Bayesian statistical decision theory,Automatic tracking -- Mathematics,Estimation theory,نظریه تصمیم گیری آماری بیزی,ردگیری اتوماتیک - ریاضیات,نظریه تخمین
رده :
QA279
,.
5
.
H38
234. Beginning math and physics for game programmers
پدیدآورنده : / Wendy Stahler
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
235. Beginning math concepts for game developers /
پدیدآورنده : John P. Flynt, Boris Meltreger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Calculus.,Computer games-- Programming-- Mathematics.,Video games-- Design.,Calculus.,GAMES-- Video & Electronic.,Video games-- Design.
رده :
QA76
.
76
.
C672
F589
2007eb
236. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
237. Big Data and Smart Digital Environment /
پدیدآورنده : Yousef Farhaoui, Laila Moussaid, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data-- Analysis.,Data mining.,Machine learning.,COMPUTERS-- Databases-- General.,Data mining.,Machine learning.
رده :
QA76
.
9
.
B45
238. Big data and networks technologies /
پدیدآورنده : editor, Yousef Farhaoui.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data.,Computer networks.,Big data.,Computer networks.
رده :
QA76
.
9
.
B45
239. BigNum math :
پدیدآورنده : Tom St. Denis, Greg Rose
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security,Programming (Mathematics)
240. BigNum math :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming (Mathematics) ;
